Buy Used and New Maurice H. ter Beek Books

Architecting Dependable Systems VI (Lecture Notes in Computer Science / Programming and Software Engineering)

by Rogerio de Lemos,Jean-Charles Fabre,Cristina Gacek,Fabio Gadducci,Maurice H. ter Beek

ISBN 13: 9783642102479

Format: Paperback (348 pages)
Publisher: Springer
Published: 02 Nov 2009

Save for later

Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers: 7843 (Lecture Notes in Computer Science)

by Niels Lohmann, Maurice H. ter Beek

ISBN 13: 9783642382291

Format: Paperback (164 pages)
Publisher: Springer
Published: 25 Apr 2013

Save for later

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday: 11865 (Lecture Notes in Computer Science)

by Maurice H. ter Beek,Alessandro Fantechi,Laura Semini

ISBN 13: 9783030309848

Format: Paperback (588 pages)
Publisher: Springer
Published: 14 Sep 2019

Save for later

Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings: 12327 (Lecture Notes in Computer Science, 12327)

by Maurice H. ter Beek, Dejan Nickovic

ISBN 13: 9783030582975

Format: Paperback (311 pages)
Publisher: Springer
Published: 29 Aug 2020

Save for later